Module("lib/refactor-common.generated",[Imports([(),()]),Strategies([SDefT("replace-sublist",[VarDec("match-sublist",ConstType(SortNoArgs("ATerm")))],[VarDec("new-elems",ConstType(SortNoArgs("ATerm")))],[]),SDefT("insert-elem",[],[VarDec("pos",ConstType(SortNoArgs("ATerm"))),VarDec("elem",ConstType(SortNoArgs("ATerm")))],[]),SDefT("insert-sublist",[],[VarDec("pos",ConstType(SortNoArgs("ATerm"))),VarDec("elems",ConstType(SortNoArgs("ATerm")))],[])]),Strategies([SDefT("input-dialog",[],[],[]),SDefT("input-dialog",[],[],[])]),Strategies([SDefT("get-pp-table",[],[],[])])])